#include<stdio.h>
#include<string.h>

void count(char str[],char word[])
{
	char h[100][10]={0};
	int len=strlen(str);
	int sign,key1=0,key2=0,num=0;
	for(sign=0;sign<len;sign++)
	{
		if(str[sign]!=' ')
		{
			h[key1][key2++]=str[sign];
		}
		else
		{
			key1++;
			key2=0;
		}
	}
	h[key1][key2]='\0';
	for(sign=0;sign<=key1;sign++)
	{
		if(strcmp(h[sign],word)==0) num++;
	}
	printf("%s %d",word,num);
}
int main()
{
	char str[105]={'\0'},word[10]={'\0'};
	gets(str);
	gets(word);
	count(str,word);
	return 0;
} 
